Лекция 1. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 1:04:05 6 years ago 3 664 Скачать Далее
Лекция 2. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 1:15:57 6 years ago 1 059 Скачать Далее
Лекция 3. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 1:20:34 6 years ago 961 Скачать Далее
Лекция 7. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 1:21:22 6 years ago 342 Скачать Далее
Лекция 8. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 1:19:20 6 years ago 422 Скачать Далее
Лекция 9. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 1:10:47 6 years ago 272 Скачать Далее
Лекция 5. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 1:20:25 6 years ago 397 Скачать Далее
Лекция 4. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 1:17:43 6 years ago 534 Скачать Далее
Лекция 6. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 1:18:27 6 years ago 452 Скачать Далее
Лекция 1 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский Лекториум 1:07:59 7 years ago 4 808 Скачать Далее
Лекция 10. Мини-курс «Функциональное программирование на языке Idris» (Виталий Брагилевский) ФКН ВШЭ 57:24 6 years ago 399 Скачать Далее
Лекция 2 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский Лекториум 1:44:31 7 years ago 2 107 Скачать Далее
ФиЛП лекция 1. Введение в функциональное программирование. Базовые функции. 1SkyFall 1:39:46 3 years ago 269 Скачать Далее